citeseer
dblp
acm 

@conference{hist_distance,
  author   = {Sung-Hyuk Cha},
  title    = {Taxonomy of Nominal Type Histogram Distance Measures},
  year     = {2008},
  month    = {March},
  note     = {First Australian Conference on computer Science Education, Sydney Australia},
  annote   = {},
  institution = {American Cconference On Applied Mathematica}
}

@article{GST,
	author = {Hoad, Timothy C. and Zobel, Justin},
	title = {Methods for identifying versioned and plagiarized documents},
	journal = {J. Am. Soc. Inf. Sci. Technol.},
	volume = {54},
	number = {3},
	year = {2003},
	issn = {1532-2882},
	pages = {203-215},
	publisher = {John Wiley \& Sons, Inc.},
	address = {New York, NY, USA},
}


@book{Halstead,
   author = {Halstead,MH},
   year = {1977},
   title = {Elements of Software Science},
   publisher = {Elsevier},
   address = {New York}
}

@article{Ottenstein,
	author = {Ottenstein, K. J.},
	title = {An algorithmic approach to the detection and prevention of plagiarism},
	journal = {SIGCSE Bull.},
	volume = {8},
	number = {4},
	year = {1976},
	pages = {30-41},
	publisher = {ACM},
	address = {New York, NY, USA},
}

@techreport{Jplag,
    author = {Lutz Prechelt and Guido Malpohl and Michael Phlippsen},
    title = {JPlag: Finding plagiarisms among a set of programs},
    institution = {University of Karlsruhe},
    year = {2000},
	month = {March}
}

@article{Karp-Rabin,
	author = {Karp, Richard M. and Rabin, Michael O.},
	title = {Efficient randomized pattern-matching algorithms},
	journal = {IBM J. Res. Dev.},
	volume = {31},
	number = {2},
	year = {1987},
	pages = {249-260},
	publisher = {IBM Corp.},
	address = {Riverton, NJ, USA},
}

@article{Towards_2008,
  author   = {Georgina Cosma and Mike Joy},
  title    = {Towards a Definition of Source Code Plagiarism},
  journal  = "IEEE",
  year     = {2008},
  volume   = {51},
  number   = {2},
  month    = {MAY},
  pages    = {195-200},
  note     = {},
  annote   = {}
}

@article{Desktop_2006,
  author   = {Maxim Mozgovoy},
  title    = {Desktop tools for offline plagiarism detection in Computer Programs},
  journal  = "Informatics in Education",
  year     = {2006},
  volume   = {5},
  number   = {1},
  month    = {},
  pages    = {97-112},
  institution = {Institute of Mathematics and Informatics},
  annote   = {}
}

@article{Identification_1990,
  author   = {Geoff Whale},
  title    = {Identification of program similarity in large population},
  journal  = "The computer Journal",
  year     = {1990},
  volume   = {33},
  number   = {2},
  month    = {},
  pages    = {140-146},
  note     = {},
  annote   = {},
  institution = {Departement of computer science (University of South Wales Australia)}
}

@article{Plagiarism_1996,
  author   = {Kristina L.Verco and Micahel J. Wise},
  title    = {Plagiarism à la mode: A comparison of Automated System for detecting Suspected Plagiarism},
  journal  = "The computer Journal",
  year     = {1996},
  volume   = {39},
  number   = {9},
  month    = {},
  pages    = {740-750},
  note     = {},
  annote   = {},
  institution = {Departement of computer science (University of Sydney Australia)}
}

@conference{Software_1996,
  author   = {Kristina L.Verco and Micahel J. Wise},
  title    = {Software for detecting suspecting plagiarism: Comparing Structure and attribute-counting Systems},
  year     = {1996},
  month    = {July},
  note     = {First Australian Conference on computer Science Education, Sydney Australia},
  annote   = {},
  institution = {ACM}
}

@article{Plagiarism_1999,
  author   = {Mike Joy and Micahel Luck},
  title    = {Plagiarism in programming assignments},
  journal  = "IEEE",
  year     = {1999},
  volume   = {42},
  number   = {2},
  month    = {MAY},
  pages    = {129-133},
  note     = {},
  annote   = {}
}

@article{Winnowing_2003,
  author   = {Saul Scheleimer, Daniel S. Wilkerson, Alex Aiken},
  title    = {Winnowing: local algorithms for document fingerprinting},
  journal  = "",
  year     = {2003},
  volume   = {},
  number   = {},
  month    = {June},
  pages    = {},
  note     = {},
  annote   = {},
  institution = {SIGMOD}
}

@article{Sim_1999,
  author   = {David Gitchell and nicholas Tran},
  title    = {Sim: A utility for detecting similarity in computer programs},
  journal  = "ACM",
  year     = {1999},
  volume   = {},
  number   = {},
  month    = {March},
  pages    = {266-270},
  note     = {},
  annote   = {},
  institution = {Departement of computer science (New Orleans LA)}
}

@article{Metrics_2001,
  author   = {Edward L. Jones},
  title    = {Metrics based plagiarism monitoring},
  journal  = "JCSC",
  year     = {2001},
  volume   = {16},
  number   = {4},
  month    = {May},
  pages    = {253-261},
  note     = {},
  annote   = {},
  institution = {Departement of computer and information Sciences (University of Florida FL)}
}

@article{Plagiarism_2000,
  author   = {Paul Clough},
  title    = {Plagiarism in natural and programming languages: an overview of current tools and technologies},
  journal  = "Compaq Press",
  year     = {2000},
  volume   = {},
  number   = {},
  month    = {},
  pages    = {1-31},
  note     = {},
  annote   = {},
  institution = {Departement of computer science (University of Sheffild)}
}

@book{dragon,
  author   = {Alfred V. Aho Monica S. Lam Ravi Sethi and Jeffrey D. Ullman},
  title    = {Compilers: Principles, Techniques and Tools 2nd edition},
  year     = {2006},
  publisher = {Pearson Education, Inc},
  note     = {ISBN 0-321-48681-1},
  annote   = {},
  institution = {Departement of computer science (University of Sydney Australia)}
}

@manual{Jplag_2000,
  author   = {Lutz Prechelt, Guido Malpohl, Micahel Phlippsen},
  title    = {JPLAG: finding plagiarisms among a set of programs},
  year     = {2000},
  volume   = {1},
  number   = {},
  month    = {March 28},
  note     = {},
  annote   = {},
  institution = {}
}

%%%%%%%%% Isomorphism 

@article{Deciding_1992,
  author   = {Roberto Di Cosmo},
  title    = {Deciding type isomorphism in a type assignment framework},
  journal  = "Journal of Functional Programming",
  year     = {1992},
  volume   = {11},
  number   = {1},
  month    = {},
  pages    = {1-38},
  note     = {},
  annote   = {},
  institution = {}
}

@article{Type_1995,
  author   = {Roberto Di Cosmo, Maria Aponte},
  title    = {Type isomorphism for module signatures},
  journal  = "",
  year     = {1995},
  volume   = {},
  number   = {},
  month    = {},
  pages    = {1-14},
  note     = {},
  annote   = {},
  institution = {}
}

@article{Tutorial_2000,
  author   = {Raul Rojas},
  title    = {A tutorial introduction to the Lambda Calculus},
  journal  = "",
  year     = {1998},
  volume   = {},
  number   = {},
  month    = {},
  pages    = {1-9},
  note     = {},
  annote   = {},
  institution = {FU Berlin WS-97/98}
}

@article{Retriving_1992,
  author   = {Mikael Rittri},
  title    = {Retrinving library identifiers via equational matching of types},
  journal  = "Programming Methodology Group",
  year     = {1992},
  volume   = {65},
  number   = {},
  month    = {May},
  pages    = {1-31},
  note     = {},
  annote   = {},
  institution = {Chalmers University of Technology and University of Goteborg}
}

@article{Using_1989,
  author   = {Mikael Rittri},
  title    = {Using type as search keys in Function Libraries},
  journal  = "ACM",
  year     = {1989},
  volume   = {89},
  number   = {9},
  month    = {},
  pages    = {174-182},
  note     = {},
  annote   = {},
  institution = {Programming Methodology Group}
}
